projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 22883da) | patch
x86, 32-on-64: Improve checking in vcpu_destroy_pagetables(). It *is*
authorKeir Fraser <keir.fraser@citrix.com>
Tue, 20 Nov 2007 15:34:25 +0000 (15:34 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Tue, 20 Nov 2007 15:34:25 +0000 (15:34 +0000)
commit661f08bb3cf7dc3be542527851db75491fef6446
tree66d9b4368e17487f4572b838f0cccef60e78d136tree | snapshot
parent22883da437f2a47e5fc7bbde460469ede7275404commit | diff
x86, 32-on-64: Improve checking in vcpu_destroy_pagetables(). It *is*
possible for 64-bit guest to have matching guest_table and
guest_table_user.
Original patch by John Levon <levon@movementarian.org>
Signed-off-by: Keir Fraser <keir.fraser@eu.citrix.com>
xen/arch/x86/domain.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.